Primitive data type - PDFSEARCH.IO - Document Search Engine

Primitive data type
Results: 215

#	Item
91	Automatic Verification of Pointer Programs using Monadic Second-Order Logic∗ Jakob L. Jensen, Michael E. Jørgensen, Michael I. Schwartzbach BRICS, University of Aarhus {u820406,medgar,mis}@brics.dk Nils Klarlund Add to Reading List Source URL: www.brics.dk Language: English - Date: 2007-03-08 16:47:37 Data types Primitive types Procedural programming languages Program logic Pointer Type theory Reference ALGOL 68 C Software engineering Computing Programming language theory
92	1 Using Redundancies to Find Errors Yichen Xie and Dawson Engler Computer Systems Laboratory Stanford University Add to Reading List Source URL: www.stanford.edu Language: English - Date: 2003-07-10 05:43:54 Data types Type theory Primitive types Software bugs Procedural programming languages Pointer Null C Tagged union Computing Software engineering Computer programming
93	Alias Types for Recursive Data Structures ∗ David Walker and Greg Morrisett Cornell University Abstract Linear type systems permit programmers to deallocate or Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2000-03-08 17:54:02 Primitive types Pointer Type safety Reference Aliasing Linked list Stack Software engineering Data types Computing
94	Amsterdam Compiler Kit-Pascal reference manual by Johan W. Stevenson ( January 4, 1983 ) Add to Reading List Source URL: tack.sourceforge.net Language: English - Date: 2011-02-11 16:00:24 Data types Procedural programming languages Primitive types Pascal Pointer ALGOL 68 C Array data type Parameter Software engineering Computing Programming language theory
95	Improving Software Security with a C Pointer Analysis Dzintars Avots Michael Dalton V. Benjamin Livshits Computer Science Department Add to Reading List Source URL: suif.stanford.edu Language: English - Date: 2005-01-29 19:31:23 Data types Primitive types Static program analysis C++ Type theory Pointer C Reference Type safety Software engineering Computing Computer programming
96	Alias Types for Recursive Data Structures ∗ (Extended Version) David Walker and Greg Morrisett Cornell University Abstract Linear type systems permit programmers to deallocate or Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2000-03-08 17:34:40 Primitive types Pointer Type safety Reference Aliasing Linked list Stack Software engineering Data types Computing
97	The Pointer Assertion Logic Engine Anders Møller & Michael I. Schwartzbach BRICS Department of Computer Science University of Aarhus, Denmark {amoeller,mis}@brics.dk Add to Reading List Source URL: www.brics.dk Language: English - Date: 2002-06-14 03:07:08 Program logic Procedural programming languages Data types Primitive types Type theory Pointer Hoare logic Linked list C Software engineering Computing Computer programming
98	mmi2009010084.3d[removed]:44 Add to Reading List Source URL: iacoma.cs.uiuc.edu Language: English - Date: 2009-03-21 12:48:11 Computer performance Software optimization Data types Primitive types Arrays Lookup table Memoization Pointer Type signature Computing Software engineering Computer programming
99	Notes on Programming Standard ML of New Jersey (version[removed]Riccardo Pucella Department of Computer Science Cornell University Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2005-04-02 20:38:17 Procedural programming languages Functional languages Standard ML of New Jersey Standard ML ML ALGOL 68 Primitive data type Continuation Functional programming Software engineering Computing Computer programming
100	Graph Types Nils Klarlundy & Michael I. Schwartzbachz fklarlund,[removed] Aarhus University, Department of Computer Science, Add to Reading List Source URL: www.brics.dk Language: English - Date: 2007-03-08 16:48:46 Data types Primitive types Graph theory Binary trees C++ Recursive data type Tree Pointer Reference Computing Software engineering Computer programming

UPDATE